$\forall$${\it the\_es}$:ES, $e$:E. first($e$) $\in$ $\mathbb{B}$